منابع مشابه
Declarative Development of Abstract Machines { a Case-study in Bottom-up Execution for Logic Databases
We propose a new declarative method for development of abstract machines. Using this method the abstract machine can be designed by means of stepwise reenement of both control and data representation. The approach is declarative in the sense that each reenement of the initial computational model respects the declarative reading of its predecessor. The paper suggests to use xed point characteriz...
متن کاملA Declarative Approach to Active Databases
This position paper provides a general description of the field of active databases, focusing on the main problems yet to be solved; suggests that deductive databases may contribute to understand some of these problems; and indicates classes of applications that can be specified in a declarative way. Premise The field of active databases has recently emerged as one of the most important directi...
متن کاملSequence Datalog: Declarative String Manipulation in Databases
We investigate logic-based query languages for sequence databases , that is, databases in which strings of symbols over a xed alphabet can occur. We discuss diierent approaches to querying strings, including Prolog and Datalog with function symbols, and argue that all of them have important limitations. We then present the semantics of Sequence Datalog, a logic for querying sequence databases, ...
متن کاملDeclarative Knowledge Discovery in Industrial Databases
Industry is increasingly overwhelmed by large-volume-data. For example, the pharmaceutical industry generates vast quantities of data both internally as a side-eeect of screening tests and combinato-rial chemistry, as well as externally from sources such as the human genome project. Industry is also becoming predominantly knowledge-driven. Increased understanding not only improves products, but...
متن کاملDeclarative Querying for Biological Sequence Databases
The ongoing revolution in life sciences research is producing vast amounts of genetic and proteomic sequence data. Scientists want to pose increasingly complex queries on this data, but current methods for querying biological sequences are primitive and largely procedural. This limits the ease with which complex queries can be posed, and often results in very inefficient query plans. There is a...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Computers & Mathematics with Applications
سال: 1991
ISSN: 0898-1221
DOI: 10.1016/0898-1221(91)90032-y